Determining Bounds on Assumption Errors in Operational Analysis
نویسنده
چکیده
The technique of operational analysis (OA) is used in the study of systems performance, mainly for estimating mean values of various measures of interest, such as, number of jobs at a device and response times. The basic principles of operational analysis allow errors in assumptions to be quantified over a time period. The assumptions which are used to derive the operational analysis relationships are studied. Using Karush-Kuhn-Tucker (KKT) conditions bounds on error measures of these OA relationships are found. Examples of these bounds are used for representative performance measures to show limits on the difference between true performance values and those estimated by operational analysis relationships. A technique for finding tolerance limits on the bounds is demonstrated with a simulation example.
منابع مشابه
The Effect of Gauge Measurement Capability and Dependency Measure of Process Variables on the MCp
It has been proved that process capability indices provide very efficient measures of the capability of processes from many different perspectives. These indices have been widely used in the manufacturing industry for measuring process reproduction capability according to manufacturing specifications. In the past few years, univariate capability indices have been introduced and used to characte...
متن کاملOperational State Sequence Analysis
This paper examines flow balance, a basic assumption used in the operational analysis of queues and other discrete-state systems. Violation of this assumption can lead to large errors in estimates of state occupancies and average performance measures. However. if the state occupancies of a state sequence are approximated using a subsequence, then the maximum and average errors are of the order ...
متن کاملAmortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics Extended Version
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an automatic typebased amortized analysis for polynomial resource bounds. The analysis is parametric in the resource and can be instantiated to heap space, stack space, or clock cycles. Experiments with a prototype impl...
متن کاملAmortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an automatic type-based amortized analysis for polynomial resource bounds. The analysis is parametric in the resource and can be instantiated to heap space, stack space, or clock cycles. Experiments with a prototype imp...
متن کاملDevelopment of Lifetime Prediction Model of Lithium-Ion Battery Based on Minimizing Prediction Errors of Cycling and Operational Time Degradation Using Genetic Algorithm
Accurate lifetime prediction of lithium-ion batteries is a great challenge for the researchers and engineers involved in battery applications in electric vehicles and satellites. In this study, a semi-empirical model is introduced to predict the capacity loss of lithium-ion batteries as a function of charge and discharge cycles, operational time, and temperature. The model parameters are obtai...
متن کامل